A Complete Conclusion-Based Procedure for Judgment Aggregation

Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same propositions. Three procedures for successfully aggregating judgments sets are: premise-based procedure, conclusion-based procedure and distance-based merging. The conclusion-based procedure has been little investigated because it provides a way to aggregate the conclusions, but not the premises, thus it outputs an incomplete judgment set. The goal of this paper is to present a conclusion-based procedure outputting complete judgment sets.